We show a sentence and modal square of opposition and equivalence to be expanded into an hexagon according to oe suggestion from William of Sherwood. This expansión is permittedby two sentence and modal rules.The logical relations of the square allow us to formulate several theorems in order to show a glimpse of the Medieval Logic complexity.

I describe an octagon of opposition and equivalence developed by fourteenth-century logicians, in particular by Jean Buridan in his Summulae de dialectica. This «square» of opposition displays complex logical relations, one of which is not found in the traditional square of opposition. The octagon allows expression of three kinds of sentences: quantified modal sentences, oblique sentences, and sentences with quantified predicates. The octagon shows that medieval logicians were working with a logic of relations, an identity logic, and a modal logic (...) not unlike the logic of our own day. (shrink)

I present some ideas from medieval thinkers concerning sentences which subject term has no reference and as kif those sentences can admit truth values. I present the ideas of William of Ockham, Jean Buridan and Albert of Saxony, from the nominalist side, and Vicente Ferrer exposing the moderate realism. Then we present two New Spain thinkers, Alonso de la Veracruz and Tomas de Mercado.

In this article, after some thoughts on medieval logic and teaching, we present Thomas Murner’s text, Logica memorativa, showing some of his mnemonic strategies for the student to learn logic quickly. Murner offers a type of “flash cards” that illustrate much of the teaching of logic at the beginning of the sixteenth century. The first impression is visual, because the cards do not contain words that illustrate their content. Murner’s exposition rests on analogies between logic themes that are explained and (...) the visual images presented. (shrink)

In this paper the medieval octagons of opposition and equivalence are described and analized. One of them, the octagon for quantified predicates, is the simplest one and offers the pattern for the other two, the octagon for predicate with modal qualification and the octagon for quantified genitive and nominative sentences. Thus, the first is the princeps analogum for the other two, whose structure is more complex. Then we describe an internal square inside the octagon, the square of the so-called disparatae (...) sentences, which obey no law from the traditional Aristotelian square. (shrink)

The traditional Square of Opposition consists of four sentence types. Two are universal and two particular; two are affirmative and two negative. Examples, where ‘S’ and ‘P’ designate the subject and the predicate, are: ‘every S is P’, ‘no S is P’, ‘some S is P’ and ‘some S is not P’. Taking the usual sentences of the square of opposition, quantifying over their predicates exhibits non-standard sentence forms. These sentences may be combined into non-standard Squares of Opposition , and (...) they reveal a new relationship not found in the usual Square. Medieval logicians termed ‘disparatae’ pairs of sentences like ‘every S is some P’ and ‘some S is every P’, which are neither subaltern nor contrary, neither contradictory nor subcontrary. Walter Redmond has designed a special language L to express the logical form of these sentences in a precise way. I will use this language to show how Squares of Opposition, standard and non-standard, form a complex network of relations which bring to .. (shrink)

Presentamos algunas ideas de autores medievales acerca de las oraciones cuyo sujeto carece de referente, y si dichas oraciones. Los autores tratados son nominalistas del siglo xiv: Guillermo de Ockham, Alberto de Sajonia y Juan Buridan; y el realista moderado Vicente Ferrer. Luego abordamos a dos novohispanos, Alonso de la Veracruz y Tomás de Mercado, que están inmersos en la tradición medieval.

En el presente artículo describo un octágono de oposición y equivalencia desarrollado por lógicos del siglo XIV, especialmente por Jean Buridan en su Summulae de dialectica. Dicho �cuadro� de oposición ofrece relaciones lógicas muy complejas, alguna de las cuales no está presente en el cuadrado tradicional de oposición. El octágono nos servirá para expresar tres tipos de oraciones: oraciones modales cuantificadas, oraciones oblicuas y oraciones con cuantificación explícita del predicado. El octágono muestra que la lógica medieval del siglo XIV ofrece (...) ya una lógica de relaciones, una lógica de la identidad y una lógica modal comparable a la lógica de nuestros días. (shrink)

Benito Jerónimo Feijoo (1676-1764) fue uno de los autores que, a partir del siglo XVI, formularon críticas a la enseñanza de la lógica clásica. En el presente artículo se examinan varios de los argumentos esgrimidos por Feijoo contra la lógica tradicional; algunos de estos se explican mejor al revisar la obra del pensador Novohispano Tomás de Mercado (15?-1575). Se resaltan los planteamientos de Feijoo que son afines o pertinentes a las críticas actuales a la lógica.

El presente artículo expone, de manera general, ciertos aspectos de la clasificación de oraciones realizada por varios autores en la edad media y más tarde en el autor novohispano Tomás de Mercado.

Presentamos la doctrina tradicional de la conversión simple de las oraciones categóricas y de las oraciones modales cuantificadas atendiendo al análisis medieval de las mismas en base a las oraciones de identidad. Estas oraciones de identidad resultan ser necesarias cuando son verdaderas e imposibles cuando son falsas. Simplificamos nuestro tratamiento reduciendo nuestro universo del discurso a pequeños �mundos� de individuos y propiedades recurriendo en parte al simbolismo ordinario y añadiendo un símbolo para la parte modal.

Presentamos algunas ideas acerca de la relación entre libertad y contingencia atendiendo a sus componentes modales. Nuestra idea central es que la libertad es posible gracias a la contingencia, pero este hecho no es gratuito. En efecto, trataremos de mostrar que si bien la contingencia es básica para la libertad, esto mismo no es contingente. Pues si la contingencia misma no fuera necesaria, no podría fundamentar la libertad. Así que la contingencia misma puede recibir calificaciones modales.

ABSTRACT:Price discrimination is the practice of charging different customers different prices for the same product. Many people consider price discrimination unfair, but economists argue that in many cases price discrimination is more likely to lead to greater welfare than is the uniform pricing alternative—sometimes for every party in the transaction. This article shows i) that there are many situations in which it is necessary to engage in differential pricing in order to make the provision of a product possible; and ii) (...) that in many such situations, the seller does not obtain an above-average rate of return. It concludes that price discrimination is not inherently unfair. The article also contends that even when conditions i) and/or ii) do not obtain, price discrimination is not necessarily unethical. In itself, the fact that some people get an even better deal than do others does not entail that the latter are wronged. (shrink)

Several philosophical issues in connection with computer simulations rely on the assumption that results of simulations are trustworthy. Examples of these include the debate on the experimental role of computer simulations :483–496, 2009; Morrison in Philos Stud 143:33–57, 2009), the nature of computer data Computer simulations and the changing face of scientific experimentation, Cambridge Scholars Publishing, Barcelona, 2013; Humphreys, in: Durán, Arnold Computer simulations and the changing face of scientific experimentation, Cambridge Scholars Publishing, Barcelona, 2013), and the explanatory power of (...) computer simulations :277–292, 2008; Durán in Int Stud Philos Sci 31:27–45, 2017). The aim of this article is to show that these authors are right in assuming that results of computer simulations are to be trusted when computer simulations are reliable processes. After a short reconstruction of the problem of epistemic opacity, the article elaborates extensively on computational reliabilism, a specified form of process reliabilism with computer simulations located at the center. The article ends with a discussion of four sources for computational reliabilism, namely, verification and validation, robustness analysis for computer simulations, a history of successful implementations, and the role of expert knowledge in simulations. (shrink)

Semi-intuitionistic logic is the logic counterpart to semi-Heyting algebras, which were defined by H. P. Sankappanavar as a generalization of Heyting algebras. We present a new, more streamlined set of axioms for semi-intuitionistic logic, which we prove translationally equivalent to the original one. We then study some formulas that define a semi-Heyting implication, and specialize this study to the case in which the formulas use only the lattice operators and the intuitionistic implication. We prove then that all the logics thus (...) obtained are equivalent to intuitionistic logic, and give their Kripke semantics. (shrink)

El presente texto es un prólogo a la traducción del ensayo de René Daumal “Los límites del lenguaje filosófico y los saberes tradicionales”. En la introducción se realiza una breve semblanza biográfica e intelectual del autor, y se recorren los tópicos recurrentes de su obra relacionados con el presente artículo. Daumal caracteriza el centro nodal de la Filosofía como “metafísica experimental”: disciplina que compromete integralmente todas las facultades humanas (especulación, sensación y praxis) y ante la cual un problema se hace (...) insoslayable: o bien el lenguaje es un instrumento para su enseñanza y conservación, una guía, o bien opera como un sello que impide la experiencia filosófica. El autor compara dos modos de transmisión verbal del conocimiento que intentaron evitar “el riesgo de devenir un fin en sí”; se refiere a los diálogos filosóficos de la obra platónica y a las Upanishad. Esto desencadena en una indagación sobre la función del lenguaje para la religión védica. (shrink)

Recently, Indigenous commentators have begun to analyse the way in which institutional Research Ethics Boards engage with Indigenous researchers and participants, respond to Indigenous peoples’ concerns with academic research activities, and scrutinise the ethics proposals of Indigenous scholars. Of particular concern for Indigenous commentators is that the work of REBs often results in the marginalisation of Indigenous approaches to knowledge construction and dissemination, especially in relation to the vexed issue of informed consent. Based on analysis of the results of research (...) with Indigenous researchers and research participants, this paper argues that institutionalised REBs’ preference for ‘universal’ and ‘individualised’ approaches for determining ethical research conduct marginalises Indigenous approaches to ethical research conduct. The paper concludes by calling for a decolonisation of REB processes through recognition of the validity of communal processes for attaining the informed conse... (shrink)

Many philosophical accounts of scientific models fail to distinguish between a simulation model and other forms of models. This failure is unfortunate because there are important differences pertaining to their methodology and epistemology that favor their philosophical understanding. The core claim presented here is that simulation models are rich and complex units of analysis in their own right, that they depart from known forms of scientific models in significant ways, and that a proper understanding of the type of model simulations (...) are fundamental for their philosophical assessment. I argue that simulation models can be distinguished from other forms of models by the many algorithmic structures, representation relations, and new semantic connections involved in their architecture. In this article, I reconstruct a general architecture for a simulation model, one that faithfully captures the complexities involved in most scientific research with computer simulations. Furthermore, I submit that a new methodology capable of conforming such architecture into a fully functional, computationally tractable computer simulation must be in place. I discuss this methodology—what I call recasting—and argue for its philosophical novelty. If these efforts are heading towards the right interpretation of simulation models, then one can show that computer simulations shed new light on the philosophy of science. To illustrate the potential of my interpretation of simulation models, I briefly discuss simulation-based explanations as a novel approach to questions about scientific explanation. (shrink)

This article argues that the price obtainable in an open market provides the best standard for determining the justice or injustice of the price of a product. The article argues that this standard, which is closely related to positions which have been held for hundreds of years, is superior to several alternative conceptions of the just price that have been put forward in recent years and is not subject to fundamental criticisms which can be addressed to them. The article also (...) shows how this standard is grounded in more fundamental principles of justice such as desert and equality. (shrink)

The aim of this paper is to explore the differences between the Idealist personalism present in Britain and America, and the Realist personalism, proper to all the different branches of European or Continental Personalism: dialogic, communitarian, phenomenological, classical ontological, and modern ontological. After making clear that not all the British personalists are idealists, but mainly those linked to personal idealism, we will discuss whether we can speak of personalism in a similar sense as idealistic and realistic personalism. Secondly, we will (...) analyze four points in order to compare the peculiar traits of personalism in these philosophies: the phenomenality of matter; the problem of experience; metaphysics and person; and corporeality, personality, and person. Special attention is paid to A. S. Pringle-Pattison and Borden Parker Bowne, as the leaders of idealistic personalism in Britain and the United States. (shrink)

The aim of this paper is to explore the differences between the Idealist personalism present in Britain and America, and the Realist personalism, proper to all the different branches of European or Continental Personalism: dialogic, communitarian, phenomenological, classical ontological, and modern ontological. After making clear that not all the British personalists are idealists, but mainly those linked to personal idealism, we will discuss whether we can speak of personalism in a similar sense as idealistic and realistic personalism. Secondly, we will (...) analyze four points in order to compare the peculiar traits of personalism in these philosophies: the phenomenality of matter; the problem of experience; metaphysics and person; and corporeality, personality, and person. Special attention is paid to A. S. Pringle-Pattison and Borden Parker Bowne, as the leaders of idealistic personalism in Britain and the United States. (shrink)

When one wants to use citizen input to inform policy, what should the standards of informedness on the part of the citizens be? While there are moral reasons to allow every citizen to participate and have a voice on every issue, regardless of education and involvement, designers of participatory assessments have to make decisions about how to structure deliberations as well as how much background information and deliberation time to provide to participants. After assessing different frameworks for the relationship between (...) science and society, we use Philip Kitcher's framework of Well-Ordered Science to propose an epistemic standard on how citizen deliberations should be structured. We explore what potential standards follow from this epistemic framework focusing on significance versus scientific and engineering expertise. We argue that citizens should be tutored on the historical context of why scientific questions became significant and deemed scientifically and socially valuable, and if citizens report that they are capable of weighing in on an issue then they should be able to do so. We explore what this standard can mean by looking at actual citizen deliberations tied to the 2014 NASA ECAST Asteroid Initiative Citizen forums. We code different vignettes of citizens debating alternative approaches for Mars exploration based upon what level of information seemed to be sufficient for them to feel comfortable in making a policy position. The analysis provides recommendations on how to design and assess future citizen assessments grounded in properly conveying the historical value context surrounding a scientific issue and trusting citizens to seek out sufficient information to deliberate. (shrink)

A chronicled approach to the notion of computer simulations shows that there are two predominant interpretations in the specialized literature. According to the first interpretation, computer simulations are techniques for finding the set of solutions to a mathematical model. I call this first interpretation the problem-solving technique viewpoint. In its second interpretation, computer simulations are considered to describe patterns of behavior of a target system. I call this second interpretation the description of patterns of behavior viewpoint of computer simulations. This (...) article explores these two interpretations of computer simulations from three different angles. First, I collect a series of definitions of computer simulation from the historical record. I track back definitions to the early 1960s and show how each viewpoint shares similar interpretations of computer simulations—ultimately clustering into the two viewpoints aforementioned. This reconstruction also includes the most recent literature. Second, I unpack the philosophical assumptions behind each viewpoint, with a special emphasis on their differences. Third, I discuss the philosophical implications of each viewpoint in the context of the recent discussion on the logic of scientific explanation for computer simulations. (shrink)

A chronicled approach to the notion of computer simulations shows that there are two predominant interpretations in the specialized literature. According to the first interpretation, computer simulations are techniques for finding the set of solutions to a mathematical model. I call this first interpretation the problem-solving technique viewpoint. In its second interpretation, computer simulations are considered to describe patterns of behavior of a target system. I call this second interpretation the description of patterns of behavior viewpoint of computer simulations. This (...) article explores these two interpretations of computer simulations from three different angles. First, I collect a series of definitions of computer simulation from the historical record. I track back definitions to the early 1960s and show how each viewpoint shares similar interpretations of computer simulations—ultimately clustering into the two viewpoints aforementioned. This reconstruction also includes the most recent literature. Second, I unpack the philosophical assumptions behind each viewpoint, with a special emphasis on their differences. Third, I discuss the philosophical implications of each viewpoint in the context of the recent discussion on the logic of scientific explanation for computer simulations. (shrink)

Loyalty is a much-discussed topic among business ethicists, but this discussion seems to have issued in very few clear conclusions. This article builds on the existing literature on the subject and attempts to ground a definite conclusion on a limited topic: whether, and under what conditions, it makes sense for an employee to offer loyalty to his employer. The main ways in which loyalty to one’s employer can contribute to human flourishing are that it makes the employee more trustworthy and (...) therefore more valuable as an employee; makes it easier to form authentic relationships in other areas of the employee’s life; expands the employee’s field of interests and gives her or him a richer identity; provides greater motivation for the employee’s work; makes it possible to have a greater unity in the employee’s life; improves the performance of the organization for which the employee works; contributes to the protection of valuable social institutions; and, in so far as many employees share an attitude of loyalty towards the organization which employs them, it becomes possible for this organization to become a true community. Last, but not the least, loyal relationships have an inherent value. The article also reviews the main arguments that have been offered against employee loyalty and concludes that none of them offers a reason why it would be inappropriate in all cases for an employee to be loyal to her or his employer. The force of these arguments depends on the specific attributes of the organization for which the employee works. The main conclusion of the article is that while being a loyal employee involves risk, it has the potential to contribute significantly to the employee’s fulfilment. The main challenge for employees is to identify employers who are worthy of being loyal to. (shrink)

In this volume, scientists, historians, and philosophers join to examine computer simulations in scientific practice. One central aim of the volume is to provide a multiperspective view on the topic. Therefore, the text includes philosophical studies on computer simulations, as well as case studies from simulation practice, and historical studies of the evolution of simulations as a research method.